docs: refer to :has-focus property instead of HAS_FOCUS flag

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 61c24464c9af186fb6863d80218b9e4dcd7ad41b..f36463a391ff6fa9ede9a662e735c8b2fc1b9625 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7851,8 +7851,8 @@ gtk_widget_has_visible_focus (GtkWidget *widget)
  * @widget: a #GtkWidget
  *
  * Determines if the widget is the focus widget within its
- * toplevel. (This does not mean that the %HAS_FOCUS flag is
- * necessarily set; %HAS_FOCUS will only be set if the
+ * toplevel. (This does not mean that the #GtkWidget:has-focus property is
+ * necessarily set; #GtkWidget:has-focus will only be set if the
  * toplevel widget additionally has the global input focus.)
  *
  * Return value: %TRUE if the widget is the focus widget.